Introduction
Notation